Formal languages - PDFSEARCH.IO - Document Search Engine

Formal languages
Results: 2429

#	Item
911	Extracted from: Language Implementation Patterns Create Your Own Domain-Specific and General Programming Languages Add to Reading List Source URL: media.pragprog.com Language: English - Date: 2010-01-17 14:46:30 Formal languages Software design patterns Pattern matching Abstract syntax tree Tree traversal Tree B-tree Visitor pattern Node Computing Computer programming Graph theory
912	Forth Recognizer -- Request For Discussion Author: Address: Version: Date: Status: Add to Reading List Source URL: amforth.sourceforge.net Language: English - Date: 2014-10-04 14:22:22 Forth Factor Eval Parsing Stack Formal languages Parser combinator Software engineering Computing Computer programming
913	STEPS Toward The Reinvention of Programming, 2009 Progress Report Submitted to the National Science Foundation (NSF) October 2009 A. Kay, I. Piumarta, K. Rose, D. Ingalls, D. Amelang, T. Kaehler, Y. Ohshima, H. Samimi, C Add to Reading List Source URL: www.vpri.org Language: English - Date: 2015-01-21 19:13:11 Formal languages Pattern matching MOV Low-level programming language Accumulator Map Regular expression JavaScript ECL programming language Computing Software engineering Computer programming
914	Dependent Types: Easy as P IE Work-In-Progress Project Description Dimitrios Vytiniotis and Stephanie Weirich University of Pennsylvania Abstract Add to Reading List Source URL: www.seas.upenn.edu Language: English - Date: 2014-07-10 05:47:26 Type theory Data types Functional languages Formal methods Theoretical computer science Dependent type Lambda calculus Type system Generalized algebraic data type Programming language theory Software engineering Computing
915	Maintaining Distributed Logic Programs Incrementally Vivek Nigam1 , Limin Jia2 , Boon Thau Loo3 , Andre Scedrov3 Abstract Distributed logic programming languages, which allow both facts and programs to be distributed amo Add to Reading List Source URL: www.andrew.cmu.edu Language: English - Date: 2014-11-11 20:30:18 Datalog Logic programming Prolog Algorithm Formal methods Software engineering Computing Programming language theory
916	Unsupervised Learning of Probabilistic Context-Free Grammar using Iterative Biclustering Kewei Tu and Vasant Honavar Department of Computer Science, Iowa State University, Ames, IA 50011, USA. Add to Reading List Source URL: www.cs.iastate.edu Language: English - Date: 2008-08-04 19:18:32 Grammar Stochastic context-free grammar Formal grammar Context-free grammar Parsing Chomsky normal form Terminal and nonterminal symbols Function CYK algorithm Formal languages Mathematics Logic
917	Abstraction Super-structuring Normal Forms: Towards a Theory of Structural Induction? Adrian Silvescu and Vasant Honavar Department of Computer Science, Iowa State University, Ames, IA, USA Abstract. Induction is the pr Add to Reading List Source URL: www.cs.iastate.edu Language: English - Date: 2011-09-11 02:46:45 Grammar Context-free grammar Formal grammar Terminal and nonterminal symbols Regular grammar Production Context-sensitive grammar Chomsky normal form Formal languages Combinatorics Mathematics
918	Implementing JITTs (Just-In-Time-Trees) XML 2002 Patrick Durusau, Matthew Brook O’Donnell, Add to Reading List Source URL: www.durusau.net Language: English Technical communication ISO standards Formal languages Standard Generalized Markup Language Parsing PCDATA SYNTAX CDATA Document Type Definition Computing XML Markup languages
919	Learning Regular Expressions from Noisy Sequences Ugo Galassi and Attilio Giordana Dipartimento di Informatica, Universit` a Amedeo Avogadro Via Bellini 25G, Alessandria, Italy Add to Reading List Source URL: www.ugogalassi.net Language: English - Date: 2005-09-14 02:53:00 String Computing Combinatorics Computational phylogenetics Pattern matching Substring Regular expression Smith–Waterman algorithm Formal grammar Formal languages Mathematics Dynamic programming
920	doi: Add to Reading List Source URL: www.psych.unito.it Language: English - Date: 2012-10-03 11:32:54 Formal languages Lisp programming language Dichotomies Literal and figurative language Regular expression Expression Idiom Type system Representation Literature Fiction Semantics

UPDATE